Primitive recursive function - PDFSEARCH.IO - Document Search Engine

Primitive recursive function
Results: 110

#	Item
81	Hypothesis Formation and Language Acquisition with an Infinitely-Often Correct Teacher Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:56 Computability theory Inductive inference Inductive reasoning Inference Statistical inference Function Heat equation Primitive recursive function Mathematics Mathematical analysis Functions and mappings
82	DEFINING TOTALITY IN THE ENUMERATION DEGREES MINGZHONG CAI, HRISTO A. GANCHEV, STEFFEN LEMPP, JOSEPH S. MILLER, AND MARIYA I. SOSKOVA Abstract. We show that if A and B form a nontrivial K-pair, then there is a semi-compu Add to Reading List Source URL: www.fmi.uni-sofia.bg Language: English - Date: 2014-01-28 17:21:47 Mathematical logic Field extension Rational number Computability theory Primitive recursive function Mathematics Field theory Enumeration
83	NOTIONS OF ANONYMOUS EXISTENCE ¨ TYPE THEORY IN MARTIN-LOF Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-03-31 11:37:40 Model theory Mathematical constructivism Function Lambda calculus Interpretation Type theory Universal quantification Adjoint functors Primitive recursive arithmetic Mathematics Mathematical logic Logic
84	Optimizing Ackermann’s Function by Incrementalization∗ Yanhong A. Liu Add to Reading List Source URL: www.cs.stonybrook.edu Language: English - Date: 2006-12-05 12:57:55 Recursion Computability theory Theory of computation Subroutines Programming idioms Primitive recursive function Aall Tail call Dynamic programming Computer programming Computing Software engineering
85	CANTOR’S DIAGONAL ARGUMENT: PROOF AND PARADOX Cantor’s diagonal method is elegant, powerful, and simple. It has been the source of Add to Reading List Source URL: wiki.laptop.org Language: English - Date: 2011-07-28 22:14:56 Theoretical computer science Mathematical logic Computable function Halting problem Primitive recursive function Church–Turing thesis Function Recursively enumerable set Algorithm Mathematics Theory of computation Computability theory
86	Vol. 70, No. 2/3, August/September[removed]Reprinted from INFORMATION ANU CONTROL Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-05-22 14:48:41 Theory of computation Functions and mappings Function Recursively enumerable set Recursion Primitive recursive function Fixed-point combinator Mathematics Theoretical computer science Computability theory
87	Defining the Turing Jump Richard A. Shore∗ Theodore A. Slaman† Add to Reading List Source URL: math.berkeley.edu Language: English - Date: 1999-11-30 17:17:44 Logic Metalogic Model theory Constructible universe Theory of computation Forcing Μ operator Primitive recursive function Mathematical logic Mathematics Computability theory
88	TYPE SYSTEMS FOR POLYNOMIAL-TIME COMPUTATION Add to Reading List Source URL: www.lfcs.inf.ed.ac.uk Language: English - Date: 2000-08-18 13:13:43 Mathematical logic Theory of computation Recursion Functions and mappings Lambda calculus Primitive recursive function Computable function Function Fold Theoretical computer science Mathematics Computability theory
89	On the Restricted Ordinal Theorem R. L. Goodstein The Journal of Symbolic Logic, Vol. 9, No. 2. (Jun., 1944), pp[removed]. Add to Reading List Source URL: hpcn.cse.iitm.ac.in Language: English - Date: 2012-07-24 00:01:30 Ordinal number Constructible universe Function Mathematical induction Primitive recursive function Binomial coefficient Bernoulli number Mathematics Functions and mappings Mathematical logic
90	LOGIC NOTES YIANNIS N. MOSCHOVAKIS Add to Reading List Source URL: www.math.ucla.edu Language: English - Date: 2012-07-16 04:13:34 Model theory Functions and mappings Formal languages Metalogic First-order logic Interpretation Function Primitive recursive function Constructible universe Mathematics Logic Mathematical logic

UPDATE